$\forall$$T$:Type, $L$:($T$ List). fseg($T$;$L$;[]) $\Leftarrow\!\Rightarrow$ ($\uparrow$null($L$))